GermanWikipedia - /page/entry.mu

Micron Document

<!DOCTYPE html>

<title>X10 (Programmiersprache)</title>

</head>

<h1 id="firstHeading" class="firstHeading mw-first-heading">X10 (Programmiersprache)</h1>

</header>

</div>

<th colspan="2" class="hintergrundfarbe6" style="font-size:larger;">X10

</th></tr>

<tr>

<th colspan="2" class="hintergrundfarbe5" style="font-size:105%; text-align:center;">Basisdaten

</th></tr>

<tr>

<td><a href="Programmierparadigma" title="Programmierparadigma">Paradigmen</a>:

</td>

<td><a href="Objektorientierte_Programmierung" title="Objektorientierte Programmierung">Objektorientierte Programmiersprache</a>

</td></tr>

<tr>

<td>Erscheinungsjahr:

</td>

<td>2004

</td></tr>

<tr>

<td>Designer:

</td>

<td>Kemal Ebcioğlu, Vivek Sarkar, Vijay Saraswat

</td></tr>

<tr>

<td>Entwickler:

</td>

<td>Kemal Ebcioğlu, Vijay Saraswat und Vivek Sarkar (<a href="IBM" title="IBM">IBM</a>)

</td></tr>

<tr>

<td>Aktuelle <a href="Version_(Software)" title="Version (Software)">Version</a>:

</td>

<td style="white-space:nowrap;">2.6.2<a href="#cite_note-Spec-1">[1]</a>  (8. Januar 2019)

</td></tr>

<tr>

<td><a href="Typisierung_(Informatik)" title="Typisierung (Informatik)">Typisierung</a>:

</td>

<td><a href="Starke_Typisierung" title="Starke Typisierung">stark</a>, <a href="Statische_Typisierung" title="Statische Typisierung">statisch</a>

</td></tr>

<tr>

<td>Beeinflusst von:

</td>

<td><a href="Java_(Programmiersprache)" title="Java (Programmiersprache)">Java</a>, <a href="C%2B%2B" title="C++">C++</a>, <a href="Scala_(Programmiersprache)" title="Scala (Programmiersprache)">Scala</a>

</td></tr>

<tr>

<td><a href="Betriebssystem" title="Betriebssystem">Betriebssystem</a>:

</td>

<td><a href="AIX" title="AIX">AIX</a>, <a href="Linux" title="Linux">Linux</a>, <a href="MacOS" title="MacOS">macOS</a>, <a href="Windows" class="mw-redirect" title="Windows">Windows</a>/<a href="Cygwin" title="Cygwin">Cygwin</a>

</td></tr>

<tr>

<td><a href="Lizenz" title="Lizenz">Lizenz</a>:

</td>

<td><a href="Eclipse_Public_License" title="Eclipse Public License">Eclipse Public License</a> 1.0

</td></tr>

<tr>

</td></tr></tbody></table>

X10 ist eine <a href="Parallele_Programmierung" title="Parallele Programmierung">parallele</a>, <a href="Objektorientierung" title="Objektorientierung">objektorientierte</a> <a href="Programmiersprache" title="Programmiersprache">Programmiersprache</a>, für high-end Hardware mit bis zu 10000 Hardware-<a href="Thread_(Informatik)" title="Thread (Informatik)">Threads</a><a href="#cite_note-Spec-1">[1]</a>. Sie wurde 2004 bei <a href="IBM" title="IBM">IBM</a> am <a href="Thomas_J._Watson_Research_Center" title="Thomas J. Watson Research Center">Forschungszentrum Thomas J. Watson</a> als Teil des PERCS-Projekts entwickelt. Zielplattformen der Programmiersprache sind Cluster-Systeme mit unterschiedlichen Berechnungseinheiten (Non-Uniform Cluster Computing). Die Programmiererproduktivität solcher Systeme soll mit X10 um den Faktor zehn erhöht werden, was zu dem Namen X10 geführt hat.<a href="#cite_note-2">[2]</a> Die Entwicklung von X10 wurde durch das High Productivity Computing Systems (HPCS) Programm der <a href="DARPA" class="mw-redirect" title="DARPA">DARPA</a> finanziert.

X10 wurde speziell zur parallelen Programmierung nach dem <a href="PGAS" class="mw-redirect" title="PGAS">Partitioned Global Address Space</a> (PGAS) Modell entworfen. X10 erweitert dieses sogar noch um <a href="Asynchronit%C3%A4t" class="mw-redirect" title="Asynchronität">Asynchronität</a>, was zu einem APGAS Modell führt. Eine Berechnung ist auf verschiedene Places aufgeteilt. Diese enthalten Daten und eine oder mehrere Activities, die mit diesen Daten arbeiten. X10 hat ein beschränktes Typsystem für <a href="Objektorientierte_Programmierung" title="Objektorientierte Programmierung">objektorientierte Programmierung</a>. Außerdem hat es noch andere Eigenschaften wie benutzerdefinierte primitive struct-Typen, global verteilte <a href="Feld_(Datentyp)" class="mw-redirect" title="Feld (Datentyp)">Arrays</a> und strukturierten und unstrukturierten Parallelismus.<a href="#cite_note-Spec-1">[1]</a>

<div class="mw-heading mw-heading2"><h2 id="Grundkonzepte">Grundkonzepte</h2></div>

<div class="mw-heading mw-heading3"><h3 id="Activities">Activities</h3></div>

Eine Activity ist ein leichtgewichtiger Thread ohne eigenen Namen. Asynchrone Activities werden durch den Befehl

<div class="mw-highlight mw-highlight-lang-java mw-content-ltr" dir="ltr"><pre>at (p) async s

</pre></div>

erstellt. Dabei ist p der Place, an dem die Activity ausgeführt werden soll und s der Befehl (engl. Statement). Eine Aktivität wird an einem bestimmten Place erstellt und bleibt dort für die gesamte Lebensdauer. Mit dem Schlüsselwort here kann eine Aktivität auf ihren Place zugreifen.<a href="#cite_note-Saraswat2005-3">[3]</a>

<div class="mw-heading mw-heading3"><h3 id="Places">Places</h3></div>

Ein Place enthält Daten und Activities, die auf diesen Daten arbeiten. Man kann sich einen Place als eigenen Knoten einer verteilten <a href="Java_Virtual_Machine" title="Java Virtual Machine">Java Virtual Machine</a> (JVM) mit eigenem <a href="Dynamischer_Speicher" title="Dynamischer Speicher">Heap</a> und eigenen <a href="Thread_(Informatik)" title="Thread (Informatik)">Threads</a> vorstellen. Dabei kann angenommen werden, dass alle Places geordnet sind. Handelt es sich bei p um einen Place, so kann mit p.next auf den nächsten Place zugegriffen werden.<a href="#cite_note-Saraswat2005-3">[3]</a>

Es gibt keinen expliziten Befehl um einen neuen Place zu erzeugen, vielmehr wird jede Activity mit einer expliziten Anzahl Places gestartet. Daraus ergibt sich eine fixe Anzahl von Places für das gesamte Programm, die während der gesamten Programmlaufzeit konstant bleibt. Die Places des Programms sind von 0 bis Place.MAX_PLACES-1 nummeriert und werden in einer sortierten Sequenz von Place.places() gespeichert. Auf den Place der aktuellen Activity kann mit dem Schlüsselwort here zugegriffen werden.<a href="#cite_note-Spec-1">[1]</a>

Der Zugriff abhängig vom Place wird durch das statische Feld location, das jedes Objekt enthält, geregelt. Nur die Objekte eines Places erhalten Zugriff auf nicht-finale Felder der anderen Objekte dieses Places. Versuche auf nicht-finale Felder von Objekten auf einem anderen Place zuzugreifen scheitern mit einer BadPlaceException (BPE).<a href="#cite_note-Saraswat2005-3">[3]</a> Man kann jedoch mit dem Ausdruck at einzelne Activitys synchron auf andere Places verschieben. Dabei handelt es sich, wie bei jeder verteilten Operation, um eine sehr teure Operation. Sie bildet jedoch die Grundlage für <a href="Mehrkernprozessor" title="Mehrkernprozessor">Multicore</a> Programmierung in X10.<a href="#cite_note-Spec-1">[1]</a>

Objekte werden auf dem Place erzeugt, auf dem der Konstruktor-Aufruf läuft. Anschließend kann ein Objekt, im Gegensatz zu Activities, nicht mehr den Place wechseln. Es kann nur auf einen anderen Place kopiert oder über GlobalRef von anderen Places referenziert werden.<a href="#cite_note-Spec-1">[1]</a>

<div class="mw-heading mw-heading3"><h3 id="Distributions_und_distributed_Arrays">Distributions und distributed Arrays</h3></div>

Mit Distributions werden distributed Arrays auf Places verteilt. Dabei ist die Distribution ein Objekt, die jedem Element des Arrays einen Place zuordnet. Auf welchem Place ein Element eines distributed Arrays liegen soll, muss bereits zur Array-Erstellung bekannt sein. Dabei ist zu beachten, dass auf einem Place nur auf diejenigen Elemente des distributed Arrays zugegriffen werden kann, die auch auf diesem Place liegen.<a href="#cite_note-Saraswat2005-3">[3]</a>

<div class="mw-heading mw-heading3"><h3 id="Atomarität">Atomarität</h3></div>

Wie in vielen anderen Programmiersprachen verbergen sich hinter einfachen Befehlen, wie dem <a href="Inkrement" class="mw-redirect" title="Inkrement">Inkrement</a> mehrere Maschinenbefehle, was diese zu einem <a href="Kritischer_Abschnitt" title="Kritischer Abschnitt">kritischen Abschnitt</a> macht. Das bedeutet, dass ein solcher Befehl potentiell von einem parallel ausgeführten anderen Befehl unterbrochen werden kann. Um das zu verhindern können in X10 einzelne Befehle mit einem

<div class="mw-highlight mw-highlight-lang-java mw-content-ltr" dir="ltr"><pre>when(c) S

</pre></div>

umgeben werden. Dabei ist c die <a href="Boolesche_Variable" class="mw-redirect" title="Boolesche Variable">boolesche</a> Wächterbedingung und S der atomar auszuführende Befehl (engl. statement). Solange c nicht true ist, blockiert die Ausführung. Wenn c true wird, so wird S atomar ausgeführt.<a href="#cite_note-Saraswat2005-3">[3]</a>

Um ganze Methoden atomar auszuführen, kann man das Schlüsselwort atomic davor schreiben. Die Methode increment wird beispielsweise atomar ausgeführt<a href="#cite_note-Saraswat2005-3">[3]</a>:

<div class="mw-highlight mw-highlight-lang-java mw-content-ltr" dir="ltr"><pre>atomic boolean increment() {

value++;

return true;

}

</pre></div>

<div class="mw-heading mw-heading3"><h3 id="Clocks">Clocks</h3></div>

Viele parallele <a href="Algorithmus" title="Algorithmus">Algorithmen</a> sind in verschiedene Phasen aufgeteilt, dabei müssen alle Aktivitäten einer Phase abgearbeitet werden, bevor die nächste Phase beginnt. In X10 werden diese Phasen durch sogenannte Clocks getrennt. Um eine Aktivität an einen solchen Clock zu binden, definiert man diese als clocked() mit dem entsprechenden Clock Objekt.<a href="#cite_note-Spec-1">[1]</a>

Im folgenden Beispiel werden zwei Aktivitäten A und B durch ein Clock Objekt synchronisiert, so dass zuerst die Ausgaben der ersten Phase beider Aktivitäten ausgegeben werden und anschließend die Ausgaben der zweiten Phase beider Aktivitäten<a href="#cite_note-4">[Anmerkung 1]</a>:

<div class="mw-highlight mw-highlight-lang-java mw-content-ltr" dir="ltr"><pre>//erzeuge ein Clock Objekt

val clock = Clock.make();

//erzeuge Aktivität A und binde sie an clock

async clocked(clock) {

//gebe parallel zu B Text aus

print("A: 1st phase. ");

//warte auf B

Clock.advanceAll();

print("A: 2nd phase. ");

}

//erzeuge Aktivität B und binde sie an clock

//gebe parallel zu A Text aus

print("B: 1st phase. ");

//warte auf A

Clock.advanceAll();

print("B: 2nd phase. ");

}

</pre></div>

Ein mögliches Ergebnis des Beispiels wäre:

A: 1st phase. B: 1st phase. B: 2nd phase. A: 2nd phase. ,

nicht aber

A: 1st phase. A: 2nd phase. B: 1st phase. B: 2nd phase. .

<div class="mw-heading mw-heading2"><h2 id="Klassen">Klassen</h2></div>

Eine <a href="Klasse_(Objektorientierung)" title="Klasse (Objektorientierung)">Klasse</a> enthält, analog zu Java, Daten und Code. Eine Klasse kann verschiedene Felder, Eigenschaften, <a href="Methode_(Programmierung)" title="Methode (Programmierung)">Methoden</a>, <a href="Konstruktoren_und_Destruktoren" title="Konstruktoren und Destruktoren">Konstruktoren</a> enthalten. Außerdem spezifiziert eine Klasse maximal eine oder keine Elternklasse. Eine Klasse kann mehrere <a href="Schnittstelle#Softwareschnittstelle" title="Schnittstelle">Interfaces</a> implementieren.

Eine Klasse kann als final markiert werden. Von einer solchen Klasse kann nicht mehr <a href="Vererbung_(Programmierung)" title="Vererbung (Programmierung)">geerbt</a> werden.

<div class="mw-heading mw-heading3"><h3 id="Felder">Felder</h3></div>

Felder spezifizieren Daten, die zu einer Klasse gehören. Dabei unterscheidet man, ob die Felder veränderbar (gekennzeichnet mit dem Schlüsselwort var), oder unveränderbar (gekennzeichnet mit dem Schlüsselwort val) sind. Der Typ eines veränderbaren Feldes muss immer spezifiziert werden. Dieser folgt dem Namen der Variable nach einem Doppelpunkt. Unveränderbare Felder können bereits mit einem Wert initialisiert werden, müssen es aber nicht.

<div class="mw-highlight mw-highlight-lang-java mw-content-ltr" dir="ltr"><pre>//veränderbares Feld mit dem Namen "population", vom Typ Integer und mit dem initialen Wert 42

var population:Int = 42;

//veränderbares Feld mit dem Namen "growthRate", vom Typ Integer und ohne initialen Wert

var growthRate:Int;

</pre></div>

Der Typ eines unveränderbaren Feldes muss nicht explizit angegeben werden. Er kann auch implizit aus dem Initialisierungswert abgeleitet werden. Ein unveränderbares Feld muss nicht initialisiert werden, solange es im Konstruktor der Klasse initialisiert wird.

<div class="mw-highlight mw-highlight-lang-java mw-content-ltr" dir="ltr"><pre>//unveränderbares Feld mit dem Namen "pi", vom expliziten Typ Double und ohne initialen Wert

val pi:Double;

//unveränderbares Feld mit dem Namen "truth", vom impliziten Typ Integer und mit initialem Wert 42

val truth = 42;

</pre></div>

Felder können entweder objektspezifisch oder <a href="Static_(Schl%C3%BCsselwort)" title="Static (Schlüsselwort)">statisch</a> (mit dem Schlüsselwort static gekennzeichnet) sein. Standardmäßig sind Felder objektspezifisch, das heißt jedes Objekt hat seine eigene Instanz des Feldes. Ist ein Feld statisch, so gibt es für alle Objekte nur eine Instanz dieses Feldes. In X10 müssen statische Variablen immer unveränderbar sein.

<div class="mw-highlight mw-highlight-lang-java mw-content-ltr" dir="ltr"><pre>//statisches, unveränderbares Feld mit dem Namen "pi", vom impliziten Typ Double und mit initialem Wert

static val pi = 3,141;

//objektspezifisches, unveränderbares Feld mit dem Namen "truth", vom impliziten Typ Integer und mit initialem Wert

</pre></div>

<div class="mw-heading mw-heading2"><h2 id="Implementierungen">Implementierungen</h2></div>

Es gibt zwei Implementierungen von X10: Native X10 und Managed X10. Native X10 basiert auf C++ und bildet einen Place auf einen <a href="Prozess_(Informatik)" title="Prozess (Informatik)">Prozess</a> ab. Es ist für folgende Betriebssysteme verfügbar: <a href="Linux" title="Linux">Linux</a>, <a href="AIX" title="AIX">AIX</a>, <a href="Mac_OS" class="mw-redirect" title="Mac OS">Mac OS</a>, <a href="Cygwin" title="Cygwin">Cygwin</a> und <a href="Blue_Gene" title="Blue Gene">Blue Gene</a>. Managed X10 ist JVM basiert. Es bildet einen Place auf einen JVM-Prozess ab. Da es auf Java basiert, läuft es unabhängig vom Betriebssystem mit jeder Version ab Java 6.<a href="#cite_note-X10Tut-5">[4]</a>

<div class="mw-heading mw-heading2"><h2 id="Einzelnachweise">Einzelnachweise</h2></div>

<li id="cite_note-Spec-1">↑ <a href="#cite_ref-Spec_1-0">a</a> <a href="#cite_ref-Spec_1-1">b</a> <a href="#cite_ref-Spec_1-2">c</a> <a href="#cite_ref-Spec_1-3">d</a> <a href="#cite_ref-Spec_1-4">e</a> <a href="#cite_ref-Spec_1-5">f</a> <a href="#cite_ref-Spec_1-6">g</a> Vijay Saraswat, Bard Bloom, Igor Peshansky, Olivier Tardieu, David Grove,: <cite style="font-style:italic">X10 Language Specification Version 2.6.2</cite>. 2019, S. 1–303 (<a rel="nofollow" class="external text" href="http://x10.sourceforge.net/documentation/languagespec/x10-262.pdf">sourceforge.net</a> [PDF; 1,5 MB; abgerufen am 4. Januar 2019]).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:X10+%28Programmiersprache%29&rft.au=Vijay+Saraswat%2C+Bard+Bloom%2C+Igor+Peshansky%2C+...&rft.btitle=X10+Language+Specification+Version+2.6.2&rft.date=2019&rft.genre=book&rft.pages=1-303" style="display:none">

</li>

<li id="cite_note-2"><a href="#cite_ref-2">↑</a> Philippe Charles, Christian Grothoff, Vijay A. Saraswat et al.: <cite style="font-style:italic">X10: An Object-Oriented Approach to Non-Uniform Cluster Computing</cite>. In: <cite style="font-style:italic">OOPSLA</cite>. 2005, S. 519–538, <a href="Digital_Object_Identifier" title="Digital Object Identifier">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1145/1094811.1094852">10.1145/1094811.1094852</a>.<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:X10+%28Programmiersprache%29&rft.atitle=X10%3A+An+Object-Oriented+Approach+to+Non-Uniform+Cluster+Computing&rft.au=Philippe+Charles%2C+Christian+Grothoff%2C+Vijay+A.+Saraswat+et+al.&rft.btitle=OOPSLA&rft.date=2005&rft.doi=10.1145%2F1094811.1094852&rft.genre=book&rft.pages=519-538" style="display:none">

</li>

<li id="cite_note-Saraswat2005-3">↑ <a href="#cite_ref-Saraswat2005_3-0">a</a> <a href="#cite_ref-Saraswat2005_3-1">b</a> <a href="#cite_ref-Saraswat2005_3-2">c</a> <a href="#cite_ref-Saraswat2005_3-3">d</a> <a href="#cite_ref-Saraswat2005_3-4">e</a> <a href="#cite_ref-Saraswat2005_3-5">f</a> Vijay Saraswat, Radha Jagadeesan: <cite style="font-style:italic">Concurrent Clustered Programming</cite>. In: <cite style="font-style:italic">Lecture Notes in Computer Science</cite>. Band 3653. Springer, Berlin Heidelberg 2005, S. 353–367, <a href="Digital_Object_Identifier" title="Digital Object Identifier">doi</a>:<a rel="nofollow" class="external text" href="https://doi.org/10.1007/11539452_28">10.1007/11539452_28</a>.<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:X10+%28Programmiersprache%29&rft.atitle=Concurrent+Clustered+Programming&rft.au=Vijay+Saraswat%2C+Radha+Jagadeesan&rft.btitle=Lecture+Notes+in+Computer+Science&rft.date=2005&rft.doi=10.1007%2F11539452_28&rft.genre=book&rft.pages=353-367&rft.place=Berlin+Heidelberg&rft.pub=Springer&rft.volume=3653" style="display:none">

</li>

<li id="cite_note-X10Tut-5"><a href="#cite_ref-X10Tut_5-0">↑</a> David Grove, Vijay Saraswat, Olivier Tardieu: <cite style="font-style:italic">Developing Scalable Parallel Applications in X10</cite>. 2012, S. 1–85 (<a rel="nofollow" class="external text" href="http://x10.sourceforge.net/tutorials/x10-2.2/SC_2012/SC12_X10_Tutorial.pdf">online</a> [PDF; 1,3 MB; abgerufen am 26. August 2013]).<span class="Z3988" title="ctx_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rfr_id=info:sid/de.wikipedia.org:X10+%28Programmiersprache%29&rft.au=David+Grove%2C+Vijay+Saraswat%2C+Olivier+Tardieu&rft.btitle=Developing+Scalable+Parallel+Applications+in+X10&rft.date=2012&rft.genre=book&rft.pages=1-85" style="display:none">

</li>

</ol>

<div class="mw-heading mw-heading2"><h2 id="Anmerkungen">Anmerkungen</h2></div>

<li id="cite_note-4"><a href="#cite_ref-4">↑</a> Aktivitäten haben in X10 keine Namen, im Beispiel werden die Aktivitäten nur aus didaktischen Gründen benannt.

</li>

</ol>

<div class="mw-heading mw-heading2"><h2 id="Weblinks">Weblinks</h2></div>

<ul><li><a rel="nofollow" class="external text" href="http://x10-lang.org/">X10 Website</a></li></ul></div><div><div class="zim-footer">

Dieser Artikel wurde von <a class="external text" title="Zuletzt bearbeitet am 2024-12-04" href="https://de.wikipedia.org/wiki/?title=X10_(Programmiersprache)&oldid=250948082">Wikipedia</a> herausgegeben. Der Text ist unter <a class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/deed.de">Creative Commons Attribution-Share Alike 4.0</a> verfügbar, sofern nicht anders angegeben. Für die Mediendateien können zusätzliche Bedingungen gelten.

</div>

</div></div>

</div>

</main>

</div>

</body></html>